-
1 abstract definition
см. тж. definitionАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > abstract definition
-
2 abstract definition
Большой англо-русский и русско-английский словарь > abstract definition
-
3 abstract definition
Математика: абстрактное определение -
4 abstract definition
-
5 abstract definition
Англо-русский словарь по исследованиям и ноу-хау > abstract definition
-
6 definition
1) определение, дефиниция, формулировка2) ясность, понятность3) чёткость, резкость ( изображения)•definition by abstraction — матем. определение путём абстракции
definition by contraposition — матем. определение через противоположение
definition by correlation — матем. определение через корреляционное отношение
definition by induction — матем. определение по индукции
definition by recursion — матем. рекурсивное определение
-
7 abstract syntax definition
English-Russian dictionary of modern telecommunications > abstract syntax definition
-
8 абстрактное определение
Большой англо-русский и русско-английский словарь > абстрактное определение
-
9 language
1) языка) естественный язык, средство человеческого общенияб) система знаков, жестов или сигналов для передачи или хранения информациив) стильг) речь2) языкознание, лингвистика•- actor language
- agent communication language
- a-hardware programming language - application-oriented language
- applicative language
- a-programming language
- artificial language
- assembler language
- assembly language
- assignment language
- author language
- authoring language - business-oriented programming language
- categorical language - configuration language
- constraint language
- combined programming language
- command language
- common language
- common business-oriented language
- compiled language
- compiler language
- computer language
- computer-dependent language - computer-oriented language
- computer-sensitive language
- concurrent language - context- sensitive language
- conversational language
- coordinate language
- database language
- database query language - data structure language
- digital system design language
- declarative language
- declarative markup language
- definitional language
- definitional constraint language
- design language
- device media control language - dynamically scoped language - elementary formalized language
- embedding language
- event-driven language
- expression language
- extensible language - formalized language - functional language
- functional programming language - graph-oriented language - high-order language
- host language - hypersymbol language
- imperative language
- in-line language
- input language
- intelligent language
- interactive language - interpreted language - Java programming language - lexically scoped language
- list-processing language
- low-level language
- machine language
- machine-independent language
- machine-oriented language
- macro language
- manipulator language - meta language
- mnemonic language
- musical language - native-mode language
- natural language - nonprocedural language
- object language
- object-oriented language - physical language
- picture query language
- portable language
- portable standard language
- polymorphic language - print control language
- problem-oriented language
- problem statement language
- procedural language
- procedure-oriented language
- program language
- programming language
- publishing language
- query language
- question-answering language
- register-transfer language
- regular language
- relational language
- right-associative language
- robot language
- robot-level language
- robotic control language
- rule language
- rule-oriented language
- scientific programming language
- script language
- scripting language - sign language
- single-assignment language
- software command language
- source language
- special-purpose programming language
- specification language - stratified language
- stream language
- string-handling language - strongly-typed language - symbolic language - thing language - tone language
- two-dimensional pictorial query language
- typed language
- typeless language
- unchecked language
- unformalized language
- universal language
- unstratified language
- untyped language
- user-oriented language
- very high-level language - well-structured programming language -
10 language
1) языка) естественный язык, средство человеческого общенияб) система знаков, жестов или сигналов для передачи или хранения информациив) стильг) речь2) языкознание, лингвистика•- a programming language
- abstract machine language
- actor language
- agent communication language
- algebraic logic functional language
- algorithmic language
- amorhic language
- application-oriented language
- applicative language
- artificial language
- assembler language
- assembly language
- assignment language
- author language
- authoring language
- axiomatic architecture description language
- basic combined programming language
- block-structured language
- boundary scan description language
- business-oriented language
- business-oriented programming language
- categorical abstract machine language
- categorical language
- cellular language
- combined programming language
- command language
- common business-oriented language
- common language
- compiled language
- compiler language
- computer hardware description language
- computer language
- computer-dependent language
- computer-independent language
- computer-oriented language
- computer-sensitive language
- concurrent language
- configuration language
- constraint language
- context-free language
- context-sensitive language
- conversational language
- coordinate language
- data definition language
- data description language
- data manipulation language
- data structure language
- database language
- database query language
- declarative language
- declarative markup language
- definitional constraint language
- definitional language
- design language
- device media control language
- digital system design language
- document style semantics and specification language
- domain-specific language
- dynamic hypertext markup language
- dynamic simulation language
- dynamically scoped language
- elementary formalized language
- embedding language
- event-driven language
- expression language
- extensible hypertext markup language
- extensible language
- extensible markup language
- fabricated language
- fifth-generation language
- first-generation language
- formal language
- formalized language
- fourth-generation language
- frame language
- function graph language
- functional language
- functional programming language
- geometrical layout description language
- graphics language
- graph-oriented language
- hardware description language
- Hewlett-Packard graphics language
- Hewlett-Packard printer control language
- high-level language
- high-order language
- host language
- hypersymbol language
- hypertext markup language plus
- hypertext markup language
- imperative language
- in-line language
- input language
- intelligent language
- interactive language
- interactive set language
- intermediate language
- interpreted language
- Java interface definition language
- Java language
- Java programming language
- job control language
- Jules' own version of the international algorithmic language
- knowledge query and manipulation language
- left-associative language
- lexically scoped language
- list-processing language
- low-level language
- machine language
- machine-independent language
- machine-oriented language
- macro language
- manipulator language
- man-machine language
- mathematical markup language
- matrix-based programming language
- meta language
- mnemonic language
- musical language
- my favorite toy language
- native language
- native-mode language
- natural language
- network control language
- network description language
- noninteractive language
- nonprocedural language
- object language
- object-oriented language
- page description language
- parallel object-oriented language
- partial differential equation language
- pattern-matching language
- physical language
- picture query language
- polymorphic language
- portable language
- portable standard language
- practical extraction and report language
- prescriptive language
- print control language
- problem statement language
- problem-oriented language
- procedural language
- procedure-oriented language
- program language
- programming language
- publishing language
- query language
- question-answering language
- register-transfer language
- regular language
- relational language
- right-associative language
- robot language
- robotic control language
- robot-level language
- rule language
- rule-oriented language
- scientific programming language
- script language
- scripting language
- second-generation language
- sense language
- server-parsed hypertext markup language
- set language
- sign language
- simulation language
- single-assignment language
- software command language
- source language
- special-purpose programming language
- specification and assertion language
- specification language
- stack-based language
- standard generalized markup language
- statically scoped language
- stratified language
- stream language
- string-handling language
- string-oriented symbolic language
- string-processing language
- strongly-typed language
- structural design language
- structured query language
- subset language
- symbolic language
- symbolic layout description language
- synchronized multimedia integration language
- target language
- thing language
- third-generation language
- threaded language
- tone language
- two-dimensional pictorial query language
- typed language
- typeless language
- unchecked language
- unformalized language
- universal language
- unstratified language
- untyped language
- user-oriented language
- very high-level language
- very-high-speed integrated circuit hardware description language
- Vienna definition language
- virtual reality modeling language
- visual language
- well-structured programming language
- wireless markup languageThe New English-Russian Dictionary of Radio-electronics > language
-
11 theoretical
θɪəˈretɪkəl прил.
1) теоретический Syn: abstract
2) абстрактный, отвлеченный, спекулятивный, умозрительный;
созерцательный Syn: abstract, speculative теоретический - * sciences теоретические науки( в противоп. эмпирическим) - * physics теоретическая физика - * arithmetic теорния чисел - * model теоретическая модель - a purely * definition чисто теоретическое определение - * learning теоретические (по) знания идеальный;
абсолютный;
гипотетический - * ceiling (авиация) расчетный потолок умозрительный, спекулятивный - it's only * это всего лишь умозрительный вывод склонный к теоретизированию;
аналитический - * mind аналитический умБольшой англо-русский и русско-английский словарь > theoretical
-
12 ADT
1) Медицина: any what you desire thing (сокр.) (всё, что угодно (указание врача-диетолога)), androgen deprivation therapy2) Американизм: Administrative Decisions Tribunal3) Военный термин: Additional Duty Training, Alaskan daylight time, Assistant Director of Training, Assistant Director of Transportation, Automatic Digital Tester, Automatic Double Tracking, accelerated development test, active duty for training, actual departure time, advanced design team, advanced development technology, aided tracking, air data terminal, approved departure time, atomic damage template, automated data transmission, automatic detection and tracking, average daily traffic, amphibious training demonstrator( сокр.) (наглядное пособие по отработке морских десантных операций)4) Техника: accelerated development tests, aerated drain tank, air data transducer, airborne digital timer, alloy diffusion technique, automatic detector and tracker, available device table5) Шутливое выражение: A Daft Tosser, Americas Dumbest Technicians6) Сокращение: Advanced Display Terminal, Air Defence Technology programme, Air Detection and Tracking, Airborne Data Terminal, Alphanumeric Display Terminal, Automatic Data Transmission, Automatic Detection & Tracking, Application Design Tool, типы прикладных данных (Application Data Types), American District Telegraph Company («Америкэн дистрикт телеграф компани» (наименование американкой телеграфной компании)), actual drilling time8) Электроника: Applied diagnostic techniques10) Вычислительная техника: Address-Data Transceiver, Application Data Type, Atlantic Daylight Time, abstract data types, architecture definition technique, Atlantic Daylight Time (-0300, TZ, AST), Application Development Tools (IBM, AS/400), Access Developer's Toolkit (MS, DB, Windows), abstract data type11) Нефть: alloy-diffusion technique, applied drilling technology, articulated dump truck, применяемая технология бурения (applied drilling technology)12) Транспорт: Average Daily Trips13) Фирменный знак: American District Telegraph14) СМИ: Accumulated Delay Transcription15) Бурение: технология практического бурения (applied drilling technology)16) Полимеры: automatic data translator17) Расширение файла: AdTech Fax document, Admission Discharge and Transfer, Application Data Types, HP NewWave Cardfile Application Datafile, Dictionary (Lingvo)18) Общественная организация: American Discovery Trail -
13 ADt
1) Медицина: any what you desire thing (сокр.) (всё, что угодно (указание врача-диетолога)), androgen deprivation therapy2) Американизм: Administrative Decisions Tribunal3) Военный термин: Additional Duty Training, Alaskan daylight time, Assistant Director of Training, Assistant Director of Transportation, Automatic Digital Tester, Automatic Double Tracking, accelerated development test, active duty for training, actual departure time, advanced design team, advanced development technology, aided tracking, air data terminal, approved departure time, atomic damage template, automated data transmission, automatic detection and tracking, average daily traffic, amphibious training demonstrator( сокр.) (наглядное пособие по отработке морских десантных операций)4) Техника: accelerated development tests, aerated drain tank, air data transducer, airborne digital timer, alloy diffusion technique, automatic detector and tracker, available device table5) Шутливое выражение: A Daft Tosser, Americas Dumbest Technicians6) Сокращение: Advanced Display Terminal, Air Defence Technology programme, Air Detection and Tracking, Airborne Data Terminal, Alphanumeric Display Terminal, Automatic Data Transmission, Automatic Detection & Tracking, Application Design Tool, типы прикладных данных (Application Data Types), American District Telegraph Company («Америкэн дистрикт телеграф компани» (наименование американкой телеграфной компании)), actual drilling time8) Электроника: Applied diagnostic techniques10) Вычислительная техника: Address-Data Transceiver, Application Data Type, Atlantic Daylight Time, abstract data types, architecture definition technique, Atlantic Daylight Time (-0300, TZ, AST), Application Development Tools (IBM, AS/400), Access Developer's Toolkit (MS, DB, Windows), abstract data type11) Нефть: alloy-diffusion technique, applied drilling technology, articulated dump truck, применяемая технология бурения (applied drilling technology)12) Транспорт: Average Daily Trips13) Фирменный знак: American District Telegraph14) СМИ: Accumulated Delay Transcription15) Бурение: технология практического бурения (applied drilling technology)16) Полимеры: automatic data translator17) Расширение файла: AdTech Fax document, Admission Discharge and Transfer, Application Data Types, HP NewWave Cardfile Application Datafile, Dictionary (Lingvo)18) Общественная организация: American Discovery Trail -
14 adt
1) Медицина: any what you desire thing (сокр.) (всё, что угодно (указание врача-диетолога)), androgen deprivation therapy2) Американизм: Administrative Decisions Tribunal3) Военный термин: Additional Duty Training, Alaskan daylight time, Assistant Director of Training, Assistant Director of Transportation, Automatic Digital Tester, Automatic Double Tracking, accelerated development test, active duty for training, actual departure time, advanced design team, advanced development technology, aided tracking, air data terminal, approved departure time, atomic damage template, automated data transmission, automatic detection and tracking, average daily traffic, amphibious training demonstrator( сокр.) (наглядное пособие по отработке морских десантных операций)4) Техника: accelerated development tests, aerated drain tank, air data transducer, airborne digital timer, alloy diffusion technique, automatic detector and tracker, available device table5) Шутливое выражение: A Daft Tosser, Americas Dumbest Technicians6) Сокращение: Advanced Display Terminal, Air Defence Technology programme, Air Detection and Tracking, Airborne Data Terminal, Alphanumeric Display Terminal, Automatic Data Transmission, Automatic Detection & Tracking, Application Design Tool, типы прикладных данных (Application Data Types), American District Telegraph Company («Америкэн дистрикт телеграф компани» (наименование американкой телеграфной компании)), actual drilling time8) Электроника: Applied diagnostic techniques10) Вычислительная техника: Address-Data Transceiver, Application Data Type, Atlantic Daylight Time, abstract data types, architecture definition technique, Atlantic Daylight Time (-0300, TZ, AST), Application Development Tools (IBM, AS/400), Access Developer's Toolkit (MS, DB, Windows), abstract data type11) Нефть: alloy-diffusion technique, applied drilling technology, articulated dump truck, применяемая технология бурения (applied drilling technology)12) Транспорт: Average Daily Trips13) Фирменный знак: American District Telegraph14) СМИ: Accumulated Delay Transcription15) Бурение: технология практического бурения (applied drilling technology)16) Полимеры: automatic data translator17) Расширение файла: AdTech Fax document, Admission Discharge and Transfer, Application Data Types, HP NewWave Cardfile Application Datafile, Dictionary (Lingvo)18) Общественная организация: American Discovery Trail -
15 class
= class typeкласс, тип объектаодно из основных понятий ООП. Класс - это объявление структуры данных, объединяющее объекты с одинаковыми свойствами (полями) и методами (поведением). Такие объекты называются экземплярами этого класса и обычно соответствуют сущностям реального мира в деловой или предметной области (то есть это могут быть, например, люди, должности или предметы). Иначе можно сказать, что из определения класса (class definition) в программе можно создать любое количество объектов. Класс иногда называют типом объектов, так как идея объединения в объекте функций с данными тесно связана с понятием типа данных (data type) в процедурных ЯВУ. Класс может наследовать свойства других классов. Свойства объектов могут быть трёх видов: атрибуты (см. attribute), или поля, процедуры или услуги, предоставляемые объектом (см. method) и правила (инварианты), устанавливающие взаимосвязи свойств объекта или определяющие условия его жизнеспособности.When you need to use the class, you must create an instance of the object (W. Rubin). — Чтобы применить данный класс, необходимо создать экземпляр объекта (см. invariant) см. тж. abstract class, abstract data type, anonymous class, base class, class diagram, class file, class hierarchy, class invariant, classless inheritance, class interface, class library, class loader, class member, class method, class-oriented, class structure, class variable, concrete class, derived class, final class, friend, inheritance, instance, metaclass, object type, OOP, parameterized class, subclass, superclass, template class
Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > class
-
16 DAD
1) Медицина: Disability Assessment in Dementia, disease-ADR-drug2) Военный термин: Degrease Abrade And Degrease, Directorate of Armament Development, deputy assistant director, design approval data, divisional ammunition dump, dockyard armament depot4) Грубое выражение: Down And Dirty, Dudes Against Dicks5) Сокращение: Deep Air Defence, Draft ADdendum, double-acting door, Da Nang, Vietnam - Da Nang ( Airport Code), Data Access Descriptor, Data Access Diagram, Data Acquisition Division, Data Acquisition and Data Processing, Data Administrator, Database Access Descriptor, Database Action Diagram, Database Assisted Design, Days After Draining, Death and Decay (game), Decide, Announce, and Defend, Decimal Adjust, Dedicated and Devoted, Defenders Against Drugs, Defense Acquisition Decision, Defense Acquisition Deskbook, Defense Appellate Division, Delaware Association of the Deaf, Delayed After Depolarization, Delivery Address Data, Demolay Advisor Development (International Order of DeMolay), Dependability of Architecture Design, Deployment Assistance Device, Desiccant Air Dryer (compressed air system components), Design Appraisal Declaration, Desktop Application Director (WordPerfect for Windows), Desktop Application Driver, Detailed Aircraft Decontamination, Development Activity Description, Die Another Day (James Bond movie), Diffuse Alveolar Damage, Digi Artists Domain (forum), Digiartist's Domain (forum), Digital Audio Disc, Digital/Analog/Digital (audio CD format, recording/mixing/mastering), Direct Access Democracy (Canada), Director of Admissions (USMA), Discharge Abstract Database, Disneyland After Dark (band), Distributed Application Development, Distributed Application Division, Distributed Applications Division (Microsoft), Distributed Architecture Decoy, Distributed Attack Detection, Distributional Analysis/Analyse Distributive, Divide and Delegate, Document Access Definition, Dogs Against Drugs, Double Add, Dressage At Devon (horse show), Drinking and Driving, Drive Against Diabetes, Dryer, Compressed Air, Desiccant, Dual Air Density, Dungeons And Dragons, Duplicate Address Detection (IPv6 address configuration)6) Вычислительная техника: Desktop Application Director, digital audio disk, цифровой диск для звукозаписи, Desktop Application Director (WordPerfect)7) Транспорт: Dangerous Airports Database, Digital Auto Drive8) Фирменный знак: Diamonds After Dark, Disneyland After Dark9) СМИ: Decide Announce Defend10) Деловая лексика: проект приложения (draft addendum), проект дополнения (draft addendum)11) Автоматика: draft addendum to an International Standard12) Хроматография: diode array detector (диодно-матричный детектор), diode array detector13) Расширение файла: Desktop Application Director (Borland)14) Имена и фамилии: Domenico Adamo15) Должность: Dear Ancient Daddy, District Athletic Director16) Чат: Dashing And Debonair18) Единицы измерений: Days After Delivery -
17 dad
1) Медицина: Disability Assessment in Dementia, disease-ADR-drug2) Военный термин: Degrease Abrade And Degrease, Directorate of Armament Development, deputy assistant director, design approval data, divisional ammunition dump, dockyard armament depot4) Грубое выражение: Down And Dirty, Dudes Against Dicks5) Сокращение: Deep Air Defence, Draft ADdendum, double-acting door, Da Nang, Vietnam - Da Nang ( Airport Code), Data Access Descriptor, Data Access Diagram, Data Acquisition Division, Data Acquisition and Data Processing, Data Administrator, Database Access Descriptor, Database Action Diagram, Database Assisted Design, Days After Draining, Death and Decay (game), Decide, Announce, and Defend, Decimal Adjust, Dedicated and Devoted, Defenders Against Drugs, Defense Acquisition Decision, Defense Acquisition Deskbook, Defense Appellate Division, Delaware Association of the Deaf, Delayed After Depolarization, Delivery Address Data, Demolay Advisor Development (International Order of DeMolay), Dependability of Architecture Design, Deployment Assistance Device, Desiccant Air Dryer (compressed air system components), Design Appraisal Declaration, Desktop Application Director (WordPerfect for Windows), Desktop Application Driver, Detailed Aircraft Decontamination, Development Activity Description, Die Another Day (James Bond movie), Diffuse Alveolar Damage, Digi Artists Domain (forum), Digiartist's Domain (forum), Digital Audio Disc, Digital/Analog/Digital (audio CD format, recording/mixing/mastering), Direct Access Democracy (Canada), Director of Admissions (USMA), Discharge Abstract Database, Disneyland After Dark (band), Distributed Application Development, Distributed Application Division, Distributed Applications Division (Microsoft), Distributed Architecture Decoy, Distributed Attack Detection, Distributional Analysis/Analyse Distributive, Divide and Delegate, Document Access Definition, Dogs Against Drugs, Double Add, Dressage At Devon (horse show), Drinking and Driving, Drive Against Diabetes, Dryer, Compressed Air, Desiccant, Dual Air Density, Dungeons And Dragons, Duplicate Address Detection (IPv6 address configuration)6) Вычислительная техника: Desktop Application Director, digital audio disk, цифровой диск для звукозаписи, Desktop Application Director (WordPerfect)7) Транспорт: Dangerous Airports Database, Digital Auto Drive8) Фирменный знак: Diamonds After Dark, Disneyland After Dark9) СМИ: Decide Announce Defend10) Деловая лексика: проект приложения (draft addendum), проект дополнения (draft addendum)11) Автоматика: draft addendum to an International Standard12) Хроматография: diode array detector (диодно-матричный детектор), diode array detector13) Расширение файла: Desktop Application Director (Borland)14) Имена и фамилии: Domenico Adamo15) Должность: Dear Ancient Daddy, District Athletic Director16) Чат: Dashing And Debonair18) Единицы измерений: Days After Delivery -
18 ADT
1. abstract data type - абстрактный тип данных;2. accelerated development tests - ускоренные испытания на этапе разработки;3. advanced design team - группа перспективных разработок;4. advanced development technology - усовершенствованная технология разработок;5. aerated drain tank - аэрированный дренажный бак;6. aided tracking - радиолокационное полуавтоматическое слежение;7. air data transducer - датчик системы данных воздушной обстановки;8. airborne data terminal - бортовой терминал обработки и отображения данных;9. airborne digital timer - бортовой цифровой таймер;10. alloy diffusion technique - диффузионно-сплавная технология;11. applied drilling technology - применяемая технология бурения;12. architecture definition technique - метод определения архитектуры программного обеспечения;13. articulated dump truck - самосвал с шарнирно сочлененной рамой;14. automatic data translator - автоматический преобразователь данных;15. automatic detection and tracking - автоматическое обнаружение и слежение; автоматическое обнаружение и сопровождение;16. automatic detector and tracker - автоматическое устройство обнаружения и слежения;17. automatic double tracking - двойной автотрекинг;18. available device table - таблица периферийных устройств -
19 ADT
I = abstract data type II сокр. от architecture definition techniqueEnglish-Russian dictionary of computer science and programming > ADT
-
20 bulletin
- 1
- 2
См. также в других словарях:
Abstract nonsense — Abstract nonsense, or general abstract nonsense, alternatively general nonsense, is a popular term used by mathematicians to describe certain kinds of arguments and concepts in category theory or applications.HistoryThe term predates the… … Wikipedia
Abstract type — This article discusses types with no direct members; see also Abstract data type. In software engineering, an abstract type is a type in a nominative type system which is declared by the programmer, and which has the property that it contains no… … Wikipedia
Abstract rewriting system — In mathematical logic and theoretical computer science, an abstract rewriting system (also (abstract) reduction system or abstract rewrite system; abbreviation ARS) is a formalism that captures the quintessential notion and properties of… … Wikipedia
Abstract strategy game — An abstract strategy game is a strategy game, aiming to minimise luck, and without a theme.[1][2] Almost all abstract strategy games will conform to the strictest definition of: a board or card game, in which there is no hidden information, no… … Wikipedia
Abstract polytope — In mathematics, an abstract polytope is a combinatorial structure with properties similar to those shared by a more classical polytope. Abstract polytopes correspond to the structures of polygons, polyhedra, tessellations of the plane and higher… … Wikipedia
Abstract algebra — This article is about the branch of mathematics. For the Swedish band, see Abstrakt Algebra. The permutations of Rubik s Cube have a group structure; the group is a fundamental concept within abstract algebra. Abstract algebra is the subject area … Wikipedia
Abstract algebraic variety — In algebraic geometry, an abstract algebraic variety is an algebraic variety that is defined intrinsically, that is, without an embedding into another variety.In classical algebraic geometry, all varieties were by definition quasiprojective… … Wikipedia
Abstract data type — In computing, an abstract data type (ADT) is a specification of a set of data and the set of operations that can be performed on the data. Such a data type is abstract in the sense that it is independent of various concrete implementations. The… … Wikipedia
Abstract factory pattern — The abstract factory pattern is a software design pattern that provides a way to encapsulate a group of individual factories that have a common theme. In normal usage, the client software creates a concrete implementation of the abstract factory… … Wikipedia
Abstract State Machine — Eine abstrakte Zustandsmaschine (englisch Abstract State Machine (ASM), ehemals auch Evolving Algebra (EVA) genannt), ist in der Informatik ein Modell zur formalen, operationellen Beschreibung von Algorithmen. Anders als bei endlichen Automaten,… … Deutsch Wikipedia
Abstract State Machines — Eine abstrakte Zustandsmaschine (englisch Abstract State Machine (ASM), ehemals auch Evolving Algebra (EVA) genannt), ist in der Informatik ein Modell zur formalen, operationalen Beschreibung von Algorithmen. Anders als bei endlichen Automaten,… … Deutsch Wikipedia